Books by author Hans Langmaack

Showing 1 – 5 out of 5 results

1. 

   Compositionality: The Significant Difference

   Hans Langmaack, Amir Pnueli, Willem-Paul De Roever | Springer, Berlin, 1998

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   103.16 €

   Sale 7 %

   You save 8.64 €

   Buy
2. 

   VDM '90. VDM and Z - Formal Methods in Software Development

   Dines Bj?rner, C. A. R. Hoare, Hans Langmaack | Springer, Berlin, 1990

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.78 €

   Sale 7 %

   You save 4.29 €

   Buy
3. 

   1. Fachtagung Uber Programmiersprachen

   Hans Langmaack, Manfred Paul | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2012

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: German

   Binding: Paperback

   53.20 €

   Sale 7 %

   You save 4.40 €

   Buy
4. 

   Formal Methods for Industrial Applications

   Jean-Raymond Abrial, Egon Börger, Hans Langmaack | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 1996

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   103.16 €

   Sale 7 %

   You save 8.64 €

   Buy
5. 

   Formal Techniques in Real-Time and Fault-Tolerant Systems

   Hans Langmaack, Willem-Paul de Roever, Jan Vytopil | Springer, Berlin, 1994

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   103.16 €

   Sale 7 %

   You save 8.64 €

   Buy

Free shipping for orders over 59.99 €. Find out more